$\forall$$x$:chain\_config(). ($\uparrow$ccsucc?($x$)) $\Rightarrow$ (ccsucc{-}num($x$) $\in$ $\mathbb{N}$)